https://sourceforge.net/p/jedit/svn/23676/
When using extra vertical line spacing and a selection foreground color, the
selected text was painted twice, once with the extra spacing, once without.
Now the selected text is drawn correctly.
| Submitted | kpouer - 2015-01-19 15:16:29.003000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | for 5.2.x |
| Resolution | None |